| 1. | Formal proofs are expressed in some formal languages.
Les démonstrations formelles sont exprimées dans un langage formel. |
| 2. | The 1930s saw a return to more simple, classical styles.
Vers 1910, on observe un retour vers un langage formel plus classique. |
| 3. | A formal theory is a set of sentences in a formal language.
Une théorie formelle est un ensemble de phrases dans un langage formel. |
| 4. | Symbols of a formal language need not be symbols of anything.
Les symboles d'un langage formel ne doivent pas être des symboles de rien. |
| 5. | Juliet uses monosyllabic words with Romeo, but uses formal language with Paris.
Juliette utilise des mots monosyllabiques avec Roméo, mais utilise un langage formel avec Pâris. |
| 6. | In logic, an interpretation is an assignment of meaning to the symbols of a language.
En logique, une interprétation est une attribution de sens aux symboles d'un langage formel. |
| 7. | The logical positivists thought of scientific theories as statements in a formal language.
Le positivisme logique conçoit les théories scientifiques comme étant un ensemble de phrases exprimées dans un langage formel. |
| 8. | In computational complexity theory, the formal language corresponding to the prime numbers is denoted as PRIMES.
En théorie de la complexité, le problème PRIMES est le langage formel qui contient les nombres premiers. |
| 9. | A formal language is expressively complete if it can express the subject matter for which it is intended.
Un langage formel est expressivement complet s'il peut exprimer le but pour lequel il est destiné. |
| 10. | For instance, in formal language theory, the Kuroda normal form for context-sensitive grammars bears his name.
En théorie du langage formel par exemple, la forme normale de Kuroda (en) de grammaire contextuelle porte son nom. |
